🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

IASC: Interactive Agentic System for ConLangs
arxiv.org·15h
🌳Context free grammars
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
In-Depth Analysis: "Attention Is All You Need"
dev.to·4h·
Discuss: DEV
🧠Intelligence Compression
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
✅Format Verification
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·23h·
Discuss: Hacker News
🔗Lisp
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·15h
🔗Parser Combinators
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
👑Isabelle
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
[R] A Unified Framework for Continual Semantic Segmentation in 2D and 3D Domains
reddit.com·14h·
Discuss: r/MachineLearning
📝Document Chunking
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
📊Multi-vector RAG
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
Instance Relation Learning Network with Label Knowledge Propagation for Few-shot Multi-label Intent Detection
arxiv.org·15h
🤖Grammar Induction
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·18h·
Discuss: DEV
🌳Context free grammars
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·15h
📋Document Grammar
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·15h
🧮Prolog Parsing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming